8

Universal axioms for bisimulations

Year:
1993
Language:
english
File:
PDF, 2.06 MB
english, 1993
13

A distributed operational semantics for CCS based on condition/event systems

Year:
1988
Language:
english
File:
PDF, 1.74 MB
english, 1988